28/04/2025: PushPull is currently not functioning due to server upgrades. When it will be back is currently unknown.
I added an alternative backend called Arctic Shift, this should have similar features. The main disadvantage is, that you cannot do a fulltext search without setting either subreddit or author