Previously the time zone used in this board was US/Eastern, which is 3 hours later than FICS server time, because that's what the web server uses. I have changed it to use FICS server time, and subtracted 3 hours from the post time of all old posts so that they are in FICS server time as well.

Thanks to jaberwock for bringing the issue to my attention.