Since we were not able to use fpcupdeluxe (local company firewall restrictions), we decided to do a debian 12 installation from zero, and, fortunately and surprisingly, the result is that now Lazarus Tools/Options menu works as expected.
Sorry all for the false report.