I'm (slowly) moving randombit.net's services between machines. I just switched over files.randombit.net and botan.randombit.net to point to the new server, please let me know if you notice any related breakage. -Jack