A "human solver" for Regex Crossword.