habryka comments on orthonormal’s Shortform