Update and rename BUG1.txt to BUGList.txt