Igor's pages have moved to http://ig248.gitlab.io.