It looks like just sending things to linaro-dev will be the easiest and most transparent. Hopefully this will be one less thing to worry about. I'll keep the alias around for a bit. Now the question is should we shut down #linaro-android? Ideas? -Zach