Hi, yes, there is quite a lot of images on the support site, the one you need depends on the virtualization platform you are using.
You cannot rename interface numbers, port1 will still be port1.
There is no such term "management port" in virtual Fortigates - any port can serve as a management port.
Regards VM images on the support site, see attached screenshot with comments to help you decide which one you need:
https://yurisk.info/assets/FortiOS-firmware-images-download-types.png
Edit: attached image is scaled to illegible size here, uploaded to Internet.