red-brick: Document dual-extension-problem