<div dir="ltr">Hard +1 to what Olaf said - this was (still is if I can't get ghcide running) one of the most annoying things when exploring a new codebase for me.<br><br>======<br>Georgi</div>