Yep this is me. I love learning languages and I’m a software dev for my job.

I don’t agree with this one. The meaning of words change and that’s true of ‘Less’.

I generally don’t agree with these prescriptivist positions though.

When a GitHub issue is closed as complete it means someone has fixed the bug in the source code (or the developers have decided it’s not a bug). It doesn’t necessarily mean the fix has been shipped in a new version or that the server you’re connecting through has been updated to a version with the fix. In this case, they haven’t shipped a new version with this fix in it. I’m not sure what the delivery cadence will be but I assume a new version will go out in the next week or so and then once your server admin upgrades their server the problem will be fixed for you.

This is a known issue on the web ui - we’re looking into it.

Smart move, sounds like the resident ghost wanted quiet time.