Dear all The notes from Tuesday’s meeting are up - though they should have been up on Friday but GitHub refused to update the website until I submitted a further (minor) merge. John