[mediawiki.el](https://github.com/hexmode/mediawiki-el/blob/master/mediawiki.el) uses the GPL-3.0-or-later license header and the [LICENSE](https://github.com/hexmode/mediawiki-el/blob/master/LICENSE) file is for AGPLv3. Can you clarify which license mediawiki-el should be under?