Snippets with tag percol

• percol to pick lines 16-05-23