modifies devmine.js and index.html in order to fit the demonstration features