Yes, please: the original bug got fixed, and the prompt you see might have a totally different cause.
Yes, please: the original bug got fixed, and the prompt you see might have a totally different cause.