When selecting text, a double-click selects a word, using punctuation (e.g. dots) as separators. As a result, double-clicking an IP address selects only part of it instead of the full address.
would be nice if IP addresses were recognized as a single word and selected by a double-click.
btw, chrome already does it 😉