yeah, well, you can't actually set plugins.mandatory, but whatever...

#828