Changed name to avoid conflict with the parent extension on extensions.gnome.org; nevertheless both extensions can not be installed at the same time, because the use the same schema