V8.20.0

Features

• #575: Admins can now delete portals at a specific block with /le portal delete location <x> <y> <z> or within a region with /le portal delete cuboid <x1> <y1> <z1> <x2> <y2> <z2>.
• #575: The old /le portal reset <player> command is renamed to /le portal delete player <player>.