It took a little longer than the expected hour, but Booklert and tedium are both back up and running.

Everything seems to be running just fine, but please let us know if you spot any glitches or things that aren't as they should be. Thanks.