html validation fix.
A minor documentation update.
A point release which contains no major changes and mostly updates documentation files.
Minor release. New web site.