On Mon, Jul 12, 2021 at 04:32:52PM -0400, Greg Wooledge wrote:
Try both and see which one works. If the wiki is wrong, edit the wiki so that it's correct. (Then hope some jerk doesn't revert your changes.)
There's only one person acting like a jerk here.
