- make \url force horizontal mode (so it works at the start of a line)
  - make \verbatiminput produce results that look like a verbatim
    environment