was it worth it?

Was it worth manually inserting the correct time into the db table and changing the date/time format just for my own amusement? Clearly the answer is yes. If you can’t amuse yourself by being a geek, what else is there in life? Oh, and for the record the rss2 feed uses gmt time by default – change get_lastpostmodified() from ‘gmt’ to ‘blog’ and the second arg in get_post_time() from true to false and I assume everything should be good. This was a handy resource in figuring this stuff out. I don’t think these changes should cause any problems, but ya never know.