tools.h: vector template members are almost fully documented