Update documentation, remove old bug files, move bugs into bugs/.