Why using a `<pre>` tag here? Are tab titles expected to contain preformated text?