I'll take a look, thanks! But right now it seems to me that I'll have to switch to some custom (JSON-based) format.
