Reply to Alex about specifying manual for `Manual' links.