Looks great! Thanks!
Applied to the current git heads, thanks for the bug-report :) Please note that the next mass skarnet.org release will probably occur during the second half of October (or early November at worst). The major version numbers will be bumped, which means compatibility isn't guaranteed, but if you're not relying on internal library building details and are upgrading the whole stack at once, users should notice no change. -- Laurent
