β-redex comments on Eli’s shortform feed