Looks like @ccsang hasn't received any replies!