niplav comments on shortplav

[niplav]

Happy Petrov Day everyone :-)