Documentation: Some more notes about String.width().