Clearer explanation, another Ubuntu bug, and wider set of workarounds