A quick update - the bug has manifested again on my system. It seems much less common now than with the proprietary nVidia drivers but apparently can still happen.
A quick update - the bug has manifested again on my system. It seems much less common now than with the proprietary nVidia drivers but apparently can still happen.