Howdy! I'm wondering why user_id in horde_users is a varchar. Wouldn't it be more intuitive with an integer? -- Tim