Re: [PATCH v2 2/3] docs: Add redirects configuration for gitlab pages