No, that is too recent a development. The book was published in 2008 and the PDF I'm reading doesn't seem to have been updated. Rather a shame it wound up at

No, that is too recent a development. The book was published in 2008 and the PDF I'm reading doesn't seem to have been updated. Rather a shame it wound up at a commercial site rather than say https://www.wikibooks.org/ https://www.wikibooks.org/