Sorry, my previous comment is wrong. I must have confused the Ubuntu bug with something else - I'm not sure what.
Sorry, my previous comment is wrong. I must have confused the Ubuntu bug with something else - I'm not sure what.