Removes the need for disabling shellcheck warnings. Follow-up to d28f74913c Proposed-by: Viktor Szakats Closes #13391
d28f74913c
For easier reproducibility. Mention using this script in RELEASE-PROCEDURE Closes #13388