Various tools to help with playing Dredmor