ref: 5c0def1850b2c09af300f09cd48f714f2505d217
parent: 2d91261eb3a37b919f48450888f8f5bfd226c053
author: Simon Tatham <anakin@pobox.com>
date: Sun Apr 23 10:16:17 EDT 2023
Document the new Net preference. Naturally, I only remembered to do this after 'git push'.