JEP proposed to target JDK 18: 413: Code Snippets in Java API Documentation