Let's see how RTD handles <dt> tags.