Server download page provides incorrect command

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.