This bug (which I would consider critical due to it's impact on user experience and public relations) still hasn't been fixed 2 weeks or more since the release of 13.10. Not a criticism, we appreciate all the work the devs do! However, until the bug is fixed, why not just make the documented workaround part of the actual release?