New candidate JEP: 413: Code Snippets in Java API Documentation