Web site goes public tomorrow

Hi! I propose to make the site public tomorrow around this time: date --date="2021-04-15 14:00:00 CEST" At that point, <https://gnu.tools> and <https://www.gnu.tools> will point to the new web site (Mark will do the switcheroo). It would be nice if each one of us could at that time announce it to free software non-profits they may be affiliated with, to their project(s) if appropriate, on “social media”, that sort of thing. Thoughts? Ludo’.