Entries from July 2019

Tuesday, 23rd July 2019: Dots and dashes
Some people call the editor 'edit-tf', which is the name of the repository. Other — seemingly more — people call the editor 'edit.tf', which is the URL of the editor, and hopefully will be for a long time. …