Hi, On 07/12/11 19:49, Sven Joachim wrote: >> Otherwise, I propose the removal of hyperlatex. > > As nobody has volunteered to work on hyperlatex in the eight months > since you filed this bug, it seems reasonable to turn it into a removal > request now. Do you agree? Yes, good idea! Thanks for your care! bye, Roland