niplav comments on shortplav

[niplav]

That would be my main guess as well${}_{75\%}$, but not the overwhelmingly likely option.