Thanks Gilles! Most of the issues were false positives, but there were a couple of things which are now corrected and in the main branch. Are you comfortable merging from the github repo or would you like me to migrate to invent? Cheers,