eggsyntax comments on Jan Betley’s Shortform