oh that’s right, Mozilla is shutting down Pocket, for no apparent reason. anyone got an alternative? someone mentioned Notion…