For instance, `//!<` should become `//!`. Weird behavior happens also in other parts of doc.
For instance,
//!<should become//!.Weird behavior happens also in other parts of doc.