[02:40] <micahg> smartboyhw: which mailing list?