new file:   js/extensions/github.js
	new file:   js/extensions/prettify.js
	new file:   js/extensions/table.js