It could probably send people to mipump.es too.

I don't know how @luisgf would feel about that =)

Also, maybe to awkwardly.social, for which we could ask @Splicer, although he might want to convert/restart his server as https first.