cider-doc and drop minesweeper