This is a simple documentation fix, but should be fixed before the final release.

The dev goal also needs to be added to the Introduction (index.html) in the Goals Overview section.