(but thanks to the power of free software, this has been fixed already!)