I wrote: > [patch that makes the presentations feature more robust and intuitive.] Now that I have write access (thanks, Helmut and Marco!), I can commit the changes myself. I will do so this evening, unless there are objections. Cheers, -- Matthias Köppe -- http://www.math.uni-magdeburg.de/~mkoeppe