Are we testing docbook in this file or the AST?