The bookmark icon is copied unmodified from the document-manager plugin
of [Anjuta][1]. Image made by "tpgww@onepost.net" (see [bugzilla][2])
and licensed under the GNU General Public License (GPL).

 [1]: http://anjuta.sourceforge.net/
 [2]: http://bugzilla.gnome.org/show_bug.cgi?id=480093
