ag.algebraic geometry - The Infinitesimal topos in positive characteristic

This question was inspired by and is somewhat related to this question.

In his article "Crystals and the de Rham cohomology of schemes" in the collection "Dix exposes sur la cohomologie des schemas" Grothendieck defines the (small) infinitesimal site of an $S$-scheme $X$ using thickenings of usual opens. He then proceeds to prove that in characteristic $0$ the cohomology with coefficients in $mathcal{O}_{X}$ computes the algebraic de Rham cohomology of the underlying scheme. This is remarkable, because the definition of the site does not use differential forms and it is not necessary for $X/S$ to be smooth.

This fails in positive characteristics, and as a remedy, Grothendieck sugessts adding the additional data of divided power structures to the site, which he then calls the "crystalline site of $X/S$". This site then has good cohomological behaviour (e.g. if $X$ is liftable to char. $0$, then cohomology computed with the crystalline topos is what it "should be"). The theory of the crystalline topos was of course worked out very successfully by Pierre Berthelot.

My question is: Even though the infinitesimal site is in some sense not nicely behaved in positive characteristics, have people continued to study it in this context? What kind of results have been obtained, and has it still been useful? I'm particularly interested in results about $D$-modules in positive characteristic (i.e. crystals in the infinitesimal site if $X/S$ is smooth), but I am also curious to see in which other directions progress has been made.