shdoclc: Don't duplicate menu separators.
46 files changed