CentOS - Feb 2020 - CentOS bookmarks

Hi,

A minor thing: in CentOS bookmarks (those are provided
by the Firefox package I think) there is a link to
CentOS documentation: http://www.centos.org/docs/7/ ;
it gives 404.

Best regards
--
Dimitri Zelenkin
Devexperts Inc