Re: [Wikidata-tech] Using @covers tags