Ah right, IIRC the older sysreq page had the `.html` extension. I'll add a redirect for that.