[Doc] Ignore lines starting with # in the example code

[flip1995]

rustdoc hides lines starting with #.

The Clippy documentation still shows these lines:
https://rust-lang.github.io/rust-clippy/master/index.html#boxed_local

It would be great if we could detect those lines and also hide them in the Clippy documentation.

[phansch]

This would have to happen somewhere in this loop:

rust-clippy/util/export.py

Line 29 in 7bd7d40

for line in lint.doc:

lint.doc contains the whole doc comment in the lines before pub LINT_NAME.

We will have to track if we're inside a code block within that loop and then skip the lines starting with \/\/\/(\s+)#.

[flip1995]

I think we only have code blocks in the Example section (?). So we could limit this check to last_section == "Example".