Yeah, when it comes to mmd2timeline, I'm not totally sure, but most of these plugins usually export to MP4 since it's such a common format. As for VR180, that's a bit more niche. I haven't heard about mmd2timeline doing that directly, but there might be other tools out there for it.
A while...