Of course, I saw your footnote. But making an extension could be worthwhile to make an extension with many small changes and hope that dev.to will like and implement them.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Many thanks for suggestion.
Footnote: Please don't make a change on website or create a chrome extension just for this post. This is no big deal.
:D This post just shows what you can do with simple small knowledge and have fun.
I'll probably add an extension with many different changes for dev.to in next post. But that'll also probably be an overkill for something so simple.
Of course, I saw your footnote. But making an extension could be worthwhile to make an extension with many small changes and hope that dev.to will like and implement them.