@Alejandro_P@mathstodon.xyz instance/server member seems fine to me.