Trimmer for Reddit
Dit zijn alle versies van het script. Alleen de versies tonen waarvan de code gewijzigd is.
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.