Thank you for your response!
I stopped reading website at history section, which did not mention about official github repository. I thought website was not updated. But actually documents in the repository are much older than website.
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.