It is commonly known that Feynman's path integral was inspired by Dirac's observation that the kernel is proportional to $\exp{\dfrac{i}{\hbar} S}$. It was Feynman, however, who had the idea of expressing the kernel as the integral of such an expression over all possible paths.
Is it known what led Feynman to try out this idea of an integral over all paths? He provides motivation from a probabilistic understanding of quantum mechanics in "Non-relativistic Quantum Mechanics" and Quantum Mechanics and Path Integrals, but is this motivation what actually led him to try out the idea of the path integral and discover that up to suitable normalization, it recovered the correct expression for the kernel and the Schrodinger equation?
Moreover, why was Dirac's observation of the proportionality of the final answer to $\exp{\dfrac{i}{\hbar} S}$ insufficient as the basis for an alternative formulation of quantum mechanics?