Looks like @antondj hasn't received any replies!