Clean up mini-ladders.html, mini-ladders.js