> though it's grey whether a theme preference is a personal one or a site one

In this case it's not grey since the information stored can't possibly be used to identify particular users or sessions.