Mixing and average mixing times for general Markov processes. Issue 3 (14th August 2020)