Comment on Does anyone know if something happened to stallman.org?