A gode-golfed minesweeper in HTML/CSS/JS