My page has moved to sverchkov.github.io.