[wschoi]

Thanks for the comment. We will add those facts to documents in the next release, which is planned on the end of this month.