Closing as out of date: most of this code has changed a lot since Search 5, and the

flags were dropped in the process.