docs: JPanel createSourceCodePanel() {
          Font sourceFont = new Font("Monospaced", Font.PLAIN, (int) Driver.getFontSize());
          mainFrame.getSourceCodeTextPane().setFont(sourceFont);
          mainFrame.getSourceCodeTextPane().setEditable(false);
          mainFrame.getSourceCodeTextPane().getCaret().setSelectionVisible(true);
          mainFrame.getSourceCodeTextPane().setDocument(SourceCodeDisplay.SOURCE_NOT_RELEVANT);
          JScrollPane sourceCodeScrollPane = new JScrollPane(mainFrame.getSourceCodeTextPane());
          sourceCodeScrollPane.getVerticalScrollBar().setUnitIncrement(20);
  
          JPanel panel = new JPanel();
          panel.setLayout(new BorderLayout());
          panel.add(sourceCodeScrollPane, BorderLayout.CENTER);
  
          panel.revalidate();
          if (MainFrame.GUI2_DEBUG) {
              System.out.println("Created source code panel");
          }
          return panel;
      }