Verbosity

- New verbosity token 'filter' shows the complete filter used by the last
  command.