Category:Extensions in GitHub version control/de-formal

These extensions are checked in to GitHub's software repository.