Docs: vax programs are too costly