On Aug 27, 2012, at 15:06, Jeremy Lavergne wrote: >> add note > > Then shouldn't that be a note instead of ui_msg? I thought no, because I'd like the user to see it before they've wasted time downloading a 72MB distfile.