Restore \version header killed by mistake in previous commit.