user-manual: fix anchor name Finding-comments-With-given-Content