Just an interesting remark: 4-2 can be solved 3 frames faster than current TAS. But then of course the frame rule eats it up. Perhaps this was known and the current TAS waits these frames to manip RNG. In any case,
I'll just leave it here just in case and join the infamous list of SMB movie uploaders.