PHP: session.gc_maxlifetime vs. session.cookie_lifetime, http://blogs.sun.com/oswald/entry/php_session_gc_maxlifetime_vs