I haven't invested any time in scratching my head about a NEWS entry, or any modifications to the texi documentation, but wanted to get you view first. Looking forward to your thoughts, --alexander