MAINTAINERS: Fix the location of tools manuals