Use ``:command:`` markup here?