28/04/2025: PushPull is currently not functioning due to server upgrades. When it will be back is currently unknown. Arctic Shift is available as an alternative backend, which should have similar features. The main disadvantage is that you cannot do a fulltext search without setting either subreddit or author.
10/08/2025: While viewing comments of a post, it will now query the reddit api to highlight deleted comments in red. For performance reasons, this is currently only done for threads with less than 2000 comments. In addition it now supports reddit style links. E.g. https://ihsoyct.github.io/r/nextfuckinglevel/comments/1mmgsfs/damn_sorry_for_even_calling_myself_an_artist/ will show the comments of that thread