Rename verrelnotes to verrelnotes.txt