New candidate JEP: 467: Markdown Documentation Comments

[Mark Reinhold]

https://openjdk.org/jeps/467

  Summary: Enable JavaDoc documentation comments to be written in
  Markdown rather than solely in a mixture of HTML and JavaDoc @-tags.

- Mark