Remove uses of <tt>...</tt> in a number of places in favor of more
appropriate markups.