A tool for managing a Tiny Tiny RSS Installation