In related honk news, you can now mention @https urls directly. This was a feature that got dropped in a refactor a few years ago, but it's nice to have when webfinger isn't available.