goodoldpaul@autistici.org writes:

> Since a new file for Gnome themes and extensions has been made, I moved 
> numix-theme there from gnome.scm.

Applied, thanks!