Are "Pray the Devil Back to Hell" and "The Saved" both documentaries?