Micro and experimental AIs: turn off some debug output