Extensions created by external developers are kept in this repository instead of in the official one.