Document debug/--debuger (close #692)