Done, reported https://bugs.launchpad.net/mudlet/+bug/1310361 and fixed by #35.