Tobias H comments on Raemon’s Shortform