Add /tools/export_approved/... and tests
Add an unimplemented zip export annotation link
Better argument checking of get_state()