Mention working examples in the documentation