I apologise if you see this. Mike Bartholomew-Biggs’s main page is now michaelbartholomewbiggspage.shtml (was 'mike' and ending '.html'). The page will refresh in a moment. Refinements are in progress.