Code

user-manual: edit "ignoring files" for conciseness