Follow up to #92 and #98. For reasons unrelated to this bug I upgraded my system to mantic and removed the workaround. It's been a week and so far I haven't hit this bug again.
Follow up to #92 and #98. For reasons unrelated to this bug I upgraded my system to mantic and removed the workaround. It's been a week and so far I haven't hit this bug again.