We should definitely update it soon. Thanks for reminding us. I will ask people who are more familiar with the change to write the doc.
That said, you are compiling from github master, i.e., not a release. Although we are usually pretty good at keeping the doc in sync with master, there can sometimes be some delays.