Hello, Sraoss.jp server will be down for server maintenance (migration to AWS) from Fri, 26 Nov 2020 11:00 (JST) until 13:00. All services on sraoss.jp, including this mailing list, will not be available for the maintenance. Sorry for inconvenience. -- Hiroyuki Yamamoto <hiro-y at kcn.ne.jp>