Use distro version of pandoc instead of trying to download it ourselves.

.github/workflows/render_user_manual.yml

@@ -18,15 +18,12 @@ jobs:
       shell: bash
       run: |
           sudo apt-get update
-          sudo apt-get install texlive texlive-latex-extra texlive-fonts-extra texlive-lang-english lmodern texlive-latex-recommended
+          sudo apt-get install texlive texlive-latex-extra texlive-fonts-extra texlive-lang-english lmodern texlive-latex-recommended pandoc
 
     # Note: this is adapted from https://github.com/LibreSolar/md-manual-template/blob/master/.travis.yml
     - name: Generate manual
       shell: bash
       run: |
-          pandoc_version=`wget -O - --max-redirect 0 https://github.com/jgm/pandoc/releases/latest 2>&1 | grep "Location:" | sed 's/.*\/tag\/\([^ "]*\).*/\1/'` pandoc_deb="pandoc-${pandoc_version}-1-amd64.deb" wget "https://github.com/jgm/pandoc/releases/download/${pandoc_version}/${pandoc_deb}"
-          sudo dpkg -i ${pandoc_deb}
-          rm ${pandoc_deb}
           pandoc -v
           cd manual
           make dist