Fix docstrings, add MapSock module to documentation, fix position of GitHub ribbon.