The workaround posted here was broken sometime back when preview scaling was added. It was never an intended solution. A proper, supported solution (including an interactive rectangle control) was added for the next version 23.11.
See Apply to Source in the Crop: Rectangle filter. Here are steps to crop a single video file: