Allow WorldEdit's //world override to affect region commands.
Priority is `-w` flag > //world override > player world > error.
Also makes regions selectable from console.
(aca0d843 by wizjany)
Add option to always use default MC times for sending titles.
Alleviates issues with other plugins setting extremely short/long times.
(2169aa21 by wizjany)
Default nether-portal-protection to true.
Pre 1.14, this was false by default as one could repeatedly force portal
searches by entering a portal which would lead into a protected area.
Since 1.14, the event we have access too happens independently of the
portal search, so the player will get teleported regardless of whether
a portal is present or if the creation gets cancelled.
(523e4518 by wizjany)
