Remove notes on now mostly-diagnosed bug.