Anyone care to fill us outsiders in? ;) No commits at all in the last few days, and given "Please just bear with it until commits are restored" (from Attilio Rao)... How are things? Any status updates anywhere? I looked through the list of mailing lists, but didn't find a fitting one with a topic covering this. Regards, Thomas