[kstenerud]

That's exactly how it works. Pocket was unused, therefore move it to the extensions tray where it can be removed if you don't want it.