Looks like @davidtsang hasn't received any replies!