agile: backlog Add targets to output manual in downloadable formats
manual: minor updates to specification section