Aims to fix the deployment CI not functioning due to the repository being moved to a new address. If this is intentional, disregard this MR. Needed for the online preview to be generated and it seems to be working.