@sandi@zhub.link Well, this is a personal domain, the username part is somewhat redundant anyway; just like my catch-all e-mail inbox. But if that's a problem for someone, it's nothing that having this file handled by a very simple server-side script can't fix :)