Manual:ResultAugmentor.php