A few thoughts for the future to follow. Though I am currently reluctant to make any changes since @pmario has put in a lot of time and effort into recording walkthrough videos, I felt it worthwhile to get this written down for potential future reference.
We could make the generation of the PR backup easier/automatic so that it becomes more of an implicit thing rather than something the user needs to do as a separate step. One easy win would be to change the export button to directly download the PR info as a JSON file rather than having to go via Advanced Search:
<$action-sendmessage
$message="tm-download-file"
$param="$:/core/templates/exporters/JsonFile"
exportFilter="[[$:/temp/pr-tiddlers]get[text]enlist-input[]] [[$:/temp/pr-tiddlers]get[text]enlist-input[]addprefix[$:/temp/prpath-]] [prefix[$:/temp/pr-]] [prefix[$:/config/sq/makepr/]]"
filename="pr.json"
/>
If we wanted to, we could take it a step further and automatically trigger the backup via the same button that creates the PR. Potentially we could also include in the json a tiddler with a link to the PR on Github and name the JSON file after the PR.
Another idea for the future would be to detect whether the Github PAT has been saved in local storage and only if not, show a modal that shows information on setting up a Github account and PAT.