Inconsistent file name for Minecraft Server download

The file that downloads on the minecraft server download page is named server.jar

. The instructions right below describe a jar file named minecraft_server.1.16.5.jar. Probably fix for consistency's sake.