GitLab

In particular this enables the retry magic we added for the "Tails
documentation" launcher to the "Report and Error" case since the code
now is refactored and used in all cases.