User settings

I see, ok. I didn't think the report PR has got merged in yet. Maybe it came from somewhere else. Anyways it doesn't matter.