Extension `disable()` isn't called on log out
Due to this bug, an extension's disable()
function isn't called on log out, but the documentation says that it is:
* This function is called when your extension is uninstalled, disabled in * GNOME Extensions, when you log out or when the screen locks.
(https://gjs.guide/extensions/overview/anatomy.html#extension-js-required)
Unfortunately there doesn't seem to be any forseeable fix for that bug, so it seems like it would be worthwhile to update the documentation to reflect the current behaviour so user's don't expect the wrong behaviour (like I did).
Thanks!