I believe I’ve got it:
Files are on GitHub — here’s the updated OpenSCAD file:
Design into 3D_ Box with Lid.zip (3.1 KB)