We did consider a separate table, that is a much more powerful approach, but the thing is that we'd have to do one extra query every time we needed those user settings. We went for simplicity instead.