I added:
https://phabricator.wikimedia.org/T101644
https://gerrit.wikimedia.org/r/#/c/216538/
It’s not much, but it’s something. What do you guys think, would something like this be useful ?
DJ