Doc additions

Remove redundant normalize() in Vector3.html (there were two). Other
additions.