table of contents styling; updated credits; some puzzle editing