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