Until prompted to refresh Firefox, which removes all extensions, I idn't realize how bad the Pocket button was. This one is excellent -- thanks!