The Formbot kit references a main body to house the BigTreeTech EBB SB2209 board that requires a slightly bigger PCB cover. This fits the model found on the Formbot GitHub page, but with the openings to allow for cooling of the PCB.
If you want to use the EBB SB2209 for the filament runout sensor, there is a variant with an opening to allow the cable to pass through.
The author remixed this model.
Updated the model to fit with the Formbot main body for the BTT EBB SB2209: https://github.com/FORMBOT/Voron-2.4/blob/main/STL/Stealthburner/Clockwork2/Direct_Drive/main_body.stl
Includes a variant with a gap for the cable for a filament runout sensor