Rename "view" to "viewport" everywhere, to avoid confusion with "view matrix"