The bug
The server download page (https://minecraft.net/en-us/download/server) calls the server file minecraft_server.1.20.1.jar and uses this name in the suggested command.
However since recent versions the file is only called server.jar.
Linked issues
is duplicated by 6
MC-263349
Version number broken on server download site
Resolved
WEB-1399
Wrong command for Java-Edition Server Startup
Resolved
WEB-4208
Inconsistent file name for Minecraft Server download
Resolved
WEB-6497
server.jar filename does not contain version
Resolved
WEB-6553
Version number broken on server download site
Resolved
1 more links
I would prefer if it would be possible that the file name contains the version again (or if the version could be written somewhere at the download page), because I have a Nagios monitoring tool that checks if the Minecraft version is up-to-date, and I don't know where to get the latest version from. Thank you!