GitLab

* sem-user.texi (Semantic mode, Include paths, Idle Scheduler)
  (Semanticdb search debugging commands): Fix typos.