Ben

I’ve pushed fixes for Trac #13064/#15393, and also for #15487.  The fixes are on wip/T13064

They concern error reporting for unused imports etc.

I have not pushed to master because the fixes produce warnings in at least

about unused imports.  And indeed they are unused!

But I’m not sure I’ll the protocol right about updating those package, doing the right submodule updates etc.

Also I have not compiled Haddock.

Could you possibly close the loop on this – do the necessary changes and commit to master?

Thanks!

Simon