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