docs split of only to 4.2

[Daan Hoogland]

H,

Is there a reason the split of docs repo does not have anything in master
but only in 4.2? Should I cherrypick the entire tree or do we want to wait
with that for some reason?

Daan