FAQ: Remove an obsolete comment with a link to the long-gone PDF manual