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