_Currently_? Bruno, I agree with you that there's no reason not to list, on the web page, all and only the active contributors, instead of the official maintainers. I changed the list on the web page.
Simon, Eric -- if you would like to be dubbed official maintainers of gnulib, let me know and I will ask rms to do so. I trust none of the present maintainers object (I surely don't). I also don't see that it makes a practical difference in this case, but whatever you want is fine. As for Jeff -- are you there, Jeff? If you'd like to step down as a maintainer officially as well as in practice :), let me know. karl
