@Gargron I'm pretty new to running a server, so take this with a grain of salt. Personally I like how option 1 keeps the mod options focused on real actions and doesn't try to automate the moderator role. To me that seems to encourage keeping servers small enough that they can be moderated by humans using direct communication, which imo is generally a good thing.
@nick But option 2 is a moderator action too