Substitute date and version into docs when we do gitdist