* sem-user.texi (Semantic mode, Idle Scheduler, Smart Completion)