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