DOKK / manpages

Man pages matching name mgl in section 5:

mgl.5.en debian 10 / mathgl
mgl.5.en debian 11 / mathgl
mgl.5.en debian 12 / mathgl