> There are other ways of doing that, but if you really need it for such > a rare use case, there's nothing wrong in reading the code. OK, I only opened this bug, because I though it was an oversight in the manual, but if it's intentional, and the list is not considered as part of the public api then this bug can be closed.