issue #18: Hints should be proposals instead of errors/warnings - don't pollute the gutters anymore
[doc] replace <code> with <tt>-tags for easier reading
[package] provide snapshot package