Duplicating the examples like this isn't good - we'll just end up with two diverging versions as people fail to remember they need to update both, or fail to apply exactly the same updates to both.

This file could easily be generated though.