@mauro@mauro@mograph.social
They are probably using one of https://www.opennic.org/
DNS resolvers, which is also cool.