| http://www.w3.org/ns/prov#value | - it can crash GNOME Shell and you will encounter bugs, including a bug that causes the windows for which the menu has been hidden to display a small gap where the menu used to be (this can be somewhat avoided by using a theme for which the gap is smaller, like Elementary for the titlebar and Zukitwo or Evolve GTK);
|
