Thanks for your useful instructions, John.
However, as the bug is not even reproducable with my old profile, I will unsubscribe from this bug and file a new one following your instructions if it occurs again.
Thanks for your useful instructions, John.
However, as the bug is not even reproducable with my old profile, I will unsubscribe from this bug and file a new one following your instructions if it occurs again.