Reason: Failures from GCC and Clang. See the new code comment.
To build the documentation, run build_docs.sh.