Re: [Cyrillicgp] Formalisation of the CyrillicPanel