Document extensions. Pushed by grunt on 2014-01-12