Right - I dropped Jakub a line last week and I haven't seen a response either way: Could someone with commit access apply the attached patches?