Rudy's Getting Started page has moved to projects/rudy/getting-started.html...