What is gnuzilla.gnu.org intended for?
Should https://gnuzilla.gnu.org/ be redirected to https://www.gnu.org/software/gnuzilla/ ?
_______________________________________________ gnu-misc-discuss mailing list gnu-misc-discuss@gnu.org https://lists.gnu.org/mailman/listinfo/gnu-misc-discuss