Fix intro.rst:2304: (WARNING/2) Title underline too short.