Trimmer for Reddit
אלו כל גרסאות הסקריפט הראה רק גרסאות בהן בוצע שינוי קוד
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.