# What is a plugin?