Adding web repository to manuals (5.2 version)