Linch comments on RationalElf’s Shortform