OK, thanks. I think that’s all sorted now, but I still can’t upload the files to GitHub. Travis CI is still failing to compile. Someone [KjellMorgenstern] has responded to my GitHub query stating that the problem appears to be with the ‘toolchain’. Do you have any idea what going on there? Should I just wait until someone says it’s fixed? Should I be worrying about putting parts up on GitHub at all, or just post them to this forum?
Thanks again.