On 6/8/20 10:55 AM, Dave Page wrote: > Here's an updated patch with the changes suggested below, as well as > similar simplification for the Debian/Ubuntu pages.
Overall LGTM. Given it's in a "<pre>" block, would we be able to use newlines (\n) instead of "<br />"? I'd like to avoid introducing more <br /> if possible, but if that's the way it goes, so be it.
Yes, yes we can. Fixed in my tree, along with the pre-existing ones.