Horosphere comments on Raemon’s Shortform