Duplicate tag "FallListSelected" in documentation #41
Description
The tag *FallListSelected* is defined twice in doc/fall.txt:
- In SIGN section
- In HIGHLIGHT section
This causes "E154: Duplicate tag" error when generating helptags.
Suggested fix: Rename one of them (e.g., *FallListSelectedSign* for the SIGN section).