method about () =
        GToolbox.message_box
          "About RSSgui"
          software_about