removed through 3.5 tags; now annotated git tags