Hello Murray
That's done now (assuming that the DNS has updated already for everyone else). Please reply to the list with any problems that this has introduced.
gtkmm.org is dazzling fast for me now. Thank you for this. Dodji.