John, could you please submit a patch for docs/index.html as well,
thanks

        Stefan

Reply via email to