Should we add SecretAgent.shutdown to website examples? Or should we try to detect if we're the only thing sitting in the event loop and shutdown?