Moved bugs from source to github bugs.