Docs: remove a reference to defunct ! snippet option

Removed in c1b41d0fbf4 for priority system.
Documentation fixes.