Harry Potter characters is a perfectly reasonable server naming scheme. Server names should be easily recognisable but not tied to any particular service/project/function on that machine (as the server may be used for other things later etc)
See RFC 1178: https://www.rfc-editor.org/rfc/rfc1178
VTOLs are nothing but rich people’s toys. They’ll never take off (ha!) among the public. Good public transport will always be cheaper and less wasteful.