The website should make it easy to find documentation, including the JavaDoc for the Protelis projects.