niplav comments on shortplav

[niplav]

I am interested in MIRI updating their team page.