We continue the presentation of a new approach, due to Martin Otto, to the Herwig--Lascar extension theorem. We follow Otto's paper "Finite groupoids, finite coverings and symmetries of finite structures."