Text this: Density-functional theory formulated in terms of functional integrals