Most things should be back

Most things should be back to normal on this site now (whatever normal is). If you find a missing file, please let me know.