technicalities comments on jdp’s Shortform

[technicalities]

It’s now up here. Thanks JD!