pre-notranslate.user.js

// ==UserScript==
// @name         pre-notranslate
// @namespace    akameco.github.io
// @version      0.1
// @description  Do not translate inside pre
// @author       akameco
// @match        *
// @grant        none
// ==/UserScript==

document.addEventListener("DOMContentLoaded", () => {
  for (const element of Array.from(document.getElementsByTagName("pre"))) {
    element.classList.add("notranslate");
  }
});