Sat 2 Mar 2024 : added blackbox.adb and updated manual.gpr.
