Hi. Can I ask why there's no bug reporting ticket system? Anyone around? barberio: you should be able to report bugs to kernel bugzilla. Nope. They just told me I have to subscribe to the developers mailing list. But I now suspect that was "Busybody Janitor with a stack of Use Other Door" syndrome.