If you’ve got a workaround, I’d suggest updating the issue description to have it up top there so similarly impacted users can spot it quickly and benefit.

▲

the_duke 5 hours ago | parent [-]

It's already mentioned in the issue...

	▲	otterley 5 hours ago \| parent [-]
		It’s in a comment halfway down the page. It’s not in the issue description. If enough comments are added to the discussion, it might end up being collapsed.