Об этом дополнении
This theme has been deprecated in favor of the regular GNOMErunner/GTK Revived theme, which is now called GNOMErunner. The Freedesktop support is provided via the options addon.
GNOMErunner/GTK Revived (Freedesktop) 0.4.0 is totally same as GNOMErunner 0.4.0. In the next version this listing will be removed for the next version.