What is an extension?