DartDoc support improved: better search for doc comments, respect consequent single-line doc comments