clarified message channel for 'print_state' (NB: the command was originally for TTY or Proof General);