Raemon comments on Double Crux Example: Should HPMOR be on the Front Page?