Cleanup: small change in the extension's description