Improve user information with a new kind of comment
about semantic patch output.

Fix spelling.
Signed-off-by: NNicolas Palix <npalix.work@gmail.com>
Signed-off-by: NJulia Lawall <julia@diku.dk>
Signed-off-by: NMichal Marek <mmarek@suse.cz>