Trivariate distribution of sticky Brownian motion

In this short note we derive a closed form for the trivariate distribution (position, local time at the origin, and positive occupation time) of the one-dimensional sticky Brownian motion, thereby filling some gaps and fixing some mistakes in the literature.