By the way, if anyone is looking for an alternative right now, the industry (well at least the amateur community) seems to be moving towards Davinci Resolve (as Premiere replacement) which has a free version (very functional, can export up to 4k videos), has a linux version (!) (with some limitations) and has been much more stable for me so far.