Is this identical to the constant in `docbuilder.py`?