Yeah, switching formats can be problematic as well as being a hassle. SolidWorks’ being a bit of a POS when it comes to exporting doesn’t make it any better.
That first link you posted was actually extremely helpful. It’s actually one I’ve linked to before as well…