On 09/09/2013 19:50, Raphael Cotty wrote: > Is there a way to get the list of undocumented features? That's the only one where we were deliberately reluctant to add documentation. If anything else is missing it's an oversight. Joerg