socket.get/setsockopt() docs can be improved by providing description for SOL_SOCKET constant, and link to source code for other level constants and socket level options.
I think this would be worth doing. All I could find out about SOL_SOCKET is that it's an int and has a value of 65535, at least on 3.4.1, Windows 7 32 bit.