My patches for Dungeon Crawl Stone Soup.