habryka comments on RationalElf’s Shortform