Looks like @trungtri hasn't received any replies!