[19:12:52] <legoktm>	 if someone is bored, https://gerrit.wikimedia.org/r/#/q/status:open+topic:missing-covers I'd like to figure out how off our current code coverage metric is because of missing @covers tags (and then re-evaluate whether they are actually useful)