Mention `org-remove-highlights-with-change' variable in footnote.
treed6c4a708d77b6c7d46a88f43c267fb47ce0cc9e0
-rw-r--r-- 666 .gitignore
drwxr-xr-x - BUGFIXING
-rw-r--r-- 228 ChangeLog
drwxr-xr-x - EXPERIMENTAL
-rw-r--r-- 8827 Makefile
drwxr-xr-x - ORGWEBPAGE
-rw-r--r-- 1474 README
-rw-r--r-- 1307 README_DIST
-rw-r--r-- 3475 README_GIT
drwxr-xr-x - UTILITIES
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - lisp
-rw-r--r-- 1007 request-assign-future.txt
drwxr-xr-x - xemacs