min.js"></script>
  <script src="https://cdnjs.cloudflare.com/ajax/libs/twitter-bootstrap/3.3.7/js/bootstrap.min.js"></script>
  <script src="../assets/js/hl.js"></script>
  <script>
    // we aren't registering builtins since
    //      (1) they don't render differently in the current CSS from other names
    //      (2) it's a mess to list all of them. You can extract from the site but that takes effort
    // if (1) ceases to be true, (2) might be worth the effort. For now, we're leaving as is
    hljsR