Ha, funny to see the resolution to my bug report (among others) on front page of hacker news, very grateful of SRCC’s work to resolve!