Looks like @dumitriu hasn't received any replies yet!