On Tue, 2003-01-07 at 13:49, Osamu Aoki wrote: > I think it may be best if this encoding changes are done at the same > time when this documentation is moved to docbook-xml format. That's perfectly fine by me.