renamed plugin to extension in labels, etc