habryka comments on FactorialCode’s Shortform