Re: Request for comments: mediawiki-FedoraBadges direct db query