Fixes to check-docs script; add some docs; mark some options as deprecated in the online docs. svn:r9163