www.openbsd.orgのサーバがSolarisなのは何故ですか?