remove dev01.txt (reverse-merged from commit 1ef9a7e90356a8b6473454f039963b5b82d186ae)