Just a heads up, Efabless will be rolling out a new change to the precheck job in the next days

gpio default file means user_defines.v in user verilog/rtl/ folder ?

Yes

Does this mean you also don't need to configure the IOs programmatically if you say the default? (Seems so, but confirming...)

Yes. So if there are issues with the management core again then at least your