Ping. This patch <https://sourceware.org/ml/libc-alpha/2018-08/msg00190.html> is pending review (for the principle of introducing the Python dependency for building the manual, at least). -- Joseph S. Myers joseph@codesourcery.com