A very simple text truncating function, elide()

Changes for 0.003 - 2023-08-08

• [bugfix] Fix truncating bug (GH#1).
• Check arguments.