I did consider Gravatar, but I’m not sure if it’s a good idea in 2022 to expose the md5 hashes of users’ email addresses to everyone visiting a given site.

I will have to look at the “proper” way to add avatars, maybe it’s Gravatar, maybe it’s something else.

GitHub-flavored Markdown & a sane subset of HTML is supported.