Move most new functions to doc/DocCheck.jl
Uncomment OS_SOCKET, which is defined on Windows.