Hi,<div><br></div><div>several threads on this list discussed that fixits on errors and warnings have to be very likely correct. "did you mean" fixits on the other hand should go on a separate note instead. The attached patch adds this to the internals manual.</div>
<div><br></div><div>Nico</div>