Comment by bradleyjg

I guess I'm not the only one in the intersection of HN readers and MR readers.