Edits to extensions page