What are plugins and what do they do?