@Michael: looks good; as archive was frozen yesterday for beta, I'm looking whether UME can get an exception; otherwise, I'll push it to PPA (or you're welcome to!) until we may upload again, next week.
@Michael: looks good; as archive was frozen yesterday for beta, I'm looking whether UME can get an exception; otherwise, I'll push it to PPA (or you're welcome to!) until we may upload again, next week.