We specify an underline cursor shape in terminal settings. This actually fixes 5c6eebf where we just copied the settings from the referenced issue but did not actually fix it.
5c6eebf