Just a thought. Don't you think it'll be better if all the GNU subproject were on the gnu.org domain?So we'll have cash.gnu.orgg, gnome.gnu.org, nano.gnu.org…
@Sylvhem hiraelle.gnu.org ?