Vladimir G. Ivanovic writes: > I'll submit a patch for the info files and I'll let the webmaster take > care of the website. Please file a bug for the website, as Adrian is currently mostly inactive.