Hold up, hold up, hold up

So, you can't export PGS subtitles into an MP4 file, because it's not compatible, but you can take any MKV file and change the extension to MP4 and it'll work?? Huh. I wonder if the PGS subtitles would show up in the MP4 file or not...