VMiklos wrote: > should i make a patch to implement this? (before we get to a situation > like with the symbol renaming ;) ) If you're inclined to, then yes :) -- Aurelien