doc/svgvla.org: a manual for svgvla