I know the work continues on rebuilding infrastructure. Is priority low to reopen redports than other infrastructure? Could anybody tell me when redports will be back? In a few days? weeks? months? or almost a year? -- `whois vmeta.jp | nkf -w` meta <meta at vmeta.jp>