Mozilla: Pocket-App erhält einige Verbesserungen