Didn't realize how small my computer's hard drive is, nor quite how big the 4K output on my rented camera is.
Gonna have to get creative to edit my new short movie. Like, exporting a scene as an MP4, backing up the source files for it and deleting them locally, then importing the MP4 to the main project.
I should invest in an external HDD, but I worry about access speed over USB2.