On 02/21/2018 09:57 AM, Joseph Myers wrote: > On Wed, 21 Feb 2018, Rical Jasan wrote: >> Is stripping the ports bits sufficient: > Yes. OK, I updated the page. Thank you, Rical