habryka comments on eigen’s Shortform