Github pages directory

Github pages requires this directory be named docs. If you were looking for documentation go here:

• User documentation
• Developer documentation