Dear Bastien and all,

@rafiks <https://twitter.com/rafiks> reported me the official website is
down now.
Port 22 is open, but 80 is filtered.
Please restart httpd :-)


Best,
Takaaki

--
takaxp@ieee.org