Remove documentation for the non-existing code. Wasn't devtools supposed
to do that?