Vertex pointer type fixes
Add new EXT extensions
Add documentation formatting mode
Merge remote-tracking branch 'upstream/master' into travis-linux-x86