Re: what do we do with user_home_t, and what more could we do with it?