@saschpe hrm, I don't think I wrote any such doc outside of the commit that introduces this. Now, hrm, where's the dev guide already? :-)