This will not be in 2.80.
It seems to me the option wasn't documented in the first place, so nothing to do here?..
Tue, Jun 18
There's still some unfinished things in the 3D viewport, so I've moved that back:
Mon, Jun 17
Sat, Jun 15
Fri, Jun 14
ok sorry and thanks. I'll use the svn repo then.
The folder contents on svn.blender.org is correct, procedural.rst is not supposed to be there anymore. This looks like an issue in phabricator no reflecting the SVN repository state correctly.