Add snippet documentation, fix a heading in user documentation.