Re: [SerialICE] [RFC] board names