In the meantime see this (long) thread: Shotcut proxy videos auto creation auto replace tool for fast smooth editing