I’ve moved my teclog to http://jolly.jinx.de/ . I’ll post here for reference only.