overfull lines with @url in @raggedright

[Werner LEMBERG]

[texinfo.tex version 2017-08-23.19]

This input

======================================================================

\input texinfo.tex

This is a not too short paragraph that demonstrates the line length
used by texinfo for formatting.  It gets also used to demonstrate the
difference between justification on both sides and ragged-right
formatting.

@url{https://www.gnu.org/software/libc/manual/html_node/Message-catalogs-with-gettext.html}

@raggedright
This is a not too short paragraph that demonstrates the line length
used by texinfo for formatting.  It gets also used to demonstrate the
difference between justification on both sides and ragged-right
formatting.

@url{https://www.gnu.org/software/libc/manual/html_node/Message-catalogs-with-gettext.html}
@end raggedright

@bye

======================================================================

shows that @url in @raggedright environments would need some
improvements.  What about adding code to support something similar to
the `hyphens' option of LaTeX's `url' package?  This, together with a
call to `\emergencystretch' at the beginning of the ragged-right
environment, seems to solve the issue.

IMHO, an underfull box is always preferable to an overfull one (at
least in technical documentation).


    Werner