Myths and Facts about Nethack