My changes to the Gregarius RSS manager