I merged #7743 a bit too quick, mea culpa. It refers to pieces of the puzzle that are not merged yet. The release binary should be consistent with the docs.