rthomas2 comments on HPMOR: What could’ve been done better?