i don't know if i've mentioned this but one of my 💻 work tasks involves pasting stuff into a 5000-character text field and none of the text editors i use have character counts so i've just been typing "head -c 5000 file.txt" in the terminal, for several years
look,,,
🐘