This starts the cleanup work after the big change that removed double compilation. I try to adjust comments, improve names and address still open comments from #567.
It does not make much sense to look at the diffs before #567 is merged; but once that has happened, reviewing this should become fairly straightforward.
This starts the cleanup work after the big change that removed double compilation. I try to adjust comments, improve names and address still open comments from #567. It does not make much sense to look at the diffs before #567 is merged; but once that has happened, reviewing this should become fairly straightforward.