Trimmer for Reddit
These are versions of this script where the code was updated. Show all versions.
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.