My edits to the Gregarius, the web-based RSS reader