You can mute an administrator

(It just doesn't do anything.)
Fix usage of 'hotpatch' and 'bypassall' permissions

'hotpatch' is used for a lot of uses that don't have anything to do
with code patches. In all of these cases, 'bypassall' is more
appropriate, so I'm replacing it with that.