YEAR: 2024 COPYRIGHT HOLDER: minesweeper authors