# refresh.js -> header.js (also all appropriate files renamed)