Trimmer for Reddit
These are all versions of this script. Show only the versions where the code changed.
Restored option bar on top to select top, new, etc. posts.
Cosmetic changes.
Tries to restore position on page upon Back button. Also, comments after the top-level comments are folded initially.