Comment by daantje

An upcoming version, that fixes font rendering problems, is mentioned here:

http://groups.google.com/group/issh/msg/f16d119aa00d3570