How long does a user stay logged in, i.e., when does their password cookie expire if they don't log out? Should I edit wp-pass.php to change it? I think the default there is 10 days, and I want to change it to 30 minutes, so I guess I would change it to time() + 1800?