Rename dummy.txt to dummy.js

Boy, the github way to rename a file is not exactly what you could call intuitive...