HEAD is now at 67e7394 Fixed Sphinx underline length warnings.
67e7394405018f32db0f069c893de7b8d5fcd2cc