Text this: Feynman-Kac-type theorems and Gibbs measures on path space