Unfortunately the Mendix documentation steers you in the wrong direction. It still states the server distribution must be downloaded from the support portal:
Howto 5.0 - Linux installing the mendix software
You can find the server distribution in the Mendix App store.
If you're not using the latest modeler, you can find you modeler in 'Other versions' which also has a 'Related downloads' section.