Yes, I didn't manage to finish this. I wanted to port the two old methods:

```scala
	/** Explicitly defines the completions for the original Parser.*/
	def examples(s: String*): Parser[A]

	/** Explicitly defines the completions for the original Parser.*/
	def examples(s: Set[String], check: Boolean = false): Parser[A]
```
to the new `examples(ExampleSource)` method, delete the `Examples` class, and rename `DynamicExamples` to `Examples`. I'll prepare an example on another branch (to test whether it works at all), and then we can decide whether to scrap the idea.