Update 1: I have not faced the problem for quite sometime now, so marking the thread as solved
, although I don't have full confidence that the problem will not recur again.Update 2: I think I've been hit by one of those Murphy's laws. It happened again, on the next login, after I had made the update-1 above.
