Horosphere comments on lionrock’s Shortform