I added: https://phabricator.wikimedia.org/T101644 https://phabricator.wikimedia.org/T101644 https://gerrit.wikimedia.org/r/#/c/216538/ 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