2016-02-17 - production
16:48	<ostriches>	purged ancient boardvote gpg key from mediawiki fleet. unused since forever.	[production]