Added .txt extensions to all the .board files.