Update some generated files, adds local extension documentation and timestamps