...
- Matt Thompson may look into alternative (simpler or more reliable) dev build options, and add to dev docs branch
- Jeffrey WagnerDavid DotsonMatt Thompson will form a task group to decide on formatting of dev docs (location (issue vs. wiki vs. with other docs in git repo), format, etc
...