t4k_menu.c: Fix a TODO about debugging.