plugin link:
I think that we should add the plugin builder's utilities to the server for 2 main reasons
first, the plugin would be very useful for builders with commands such as //scale or //twist, which could be very useful to have and use when building, or commands like noclip which could be used when working on cramped spaces. On top of this, Builder's utilities also has a few shortcuts for worldedit, which while a small change, would help save time while building
second, adding this plugin would allow us to potentially give ops and mbs access to /gmsp without being able to bypass toggletp. this is because within builders utilities there is a permission node "builders.util.tpgm3" meaning that we could make sure that only admins have this permission node, and then ops and mbs could not have it, thus giving the benifits of having /gmsp, without causing issues of players being able to bypass tptoggle.
It is also important to note that the plugin is open source, so if we needed to make modifications, we easily could