Explain why used to fold case when deciding if we are going to install manual
page links, and change the behavior not to do this anymore.
protect the variable name, and explain why setting it does not work.