Re: [Maria-docs] Mixing GPL licensed material into our documentation