[tor-commits] [metrics-web/master] Replace several <code>...</code> with {@code}.