[PATCH htdocs] download: use <wbr> to break up some long <pre> text

[Tom Tromey]

>>>>> "Mike" == Mike Frysinger <vapier@gentoo.org> writes:

Mike> These URLs with parenthetical asides can generate very wide text on
Mike> smaller devices which makes scrolling/panning a pain.  Use <wbr> in
Mike> a few places to let the browser know it may add line breaks when
Mike> needed.  On small devices, we get much more comfortable view, while
Mike> on desktops, things look exactly the same as before.

TIL <wbr>.
Anyway it seems fine.  Thanks for doing this.

Tom