On 2018-07-10 at 18:13:12 +0200, David Boddie wrote: > It's currently down - perhaps there was a public backlash, the server > overheated, or something it has been taken down by arm themselves after their own staff complained: https://www.theregister.co.uk/2018/07/10/arm_riscv_website/ -- Elena ``of Valhalla''