Infrastructure

Hi

We just noticed this tip of the day:

https://cgit.freedesktop.org/libreoffice/core/tree/cui/inc/tipoftheday.hrc#n180 { NC_("RID_CUI_TIPOFTHEDAY", "Get %PRODUCTNAME documentation and free user guide books at:"), "http://www.libreoffice.org/get-help/documentation", ""},

This link does not work well, since it currently redirects to https://www.libreoffice.org/get-help/feedback/ instead of
https://documentation.libreoffice.org like get Help -> Documentation does on https://www.libreoffice.org/

Could you please fix the redirection?

In the long term it would be probably wise to change the tip of the day too. I'll file another ticket in BZ.