How do you tag @bitcoin Atlantis? After typing a space after bitcoin you can’t select. Can they change their name so you can easily tag them with nostr:npub18m76awca3y37hkvuneavuw6pjj4525fw90necxmadrvjg0sdy6qsngq955 or nostr:npub12vkcxr0luzwp8e673v29eqjhrr7p9vqq8asav85swaepclllj09sylpugg ?