[hawaiianbrah]

Mozilla Pocket is defunct now, so not necessarily a big problem. Maybe it’s a way to leverage a somewhat known name…