Witt vectors with coefficients and characteristic polynomials over non-commutative rings. Issue 2 (26th February 2022)