Typing characters such as ', ", (, and [ inside Markdown documentation
comments (///) currently inserts the corresponding closing character
automatically. While this behavior is useful in Java code, it interrupts
normal typing in Markdown text, so the editor is updated to avoid
auto-closing these characters in Markdown comments.

Fix: https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/2528