I wonder why Heiko was removed from AUTHORS years ago...