I am curious as to the licensing requirements to stuff that can be downloaded from the addons section of the Hedgewars client, if there are any requirements at all. Are the addons considered as libre as Hedgewars is (DFSG compliant or GPL-Compatible) ? One of the reasons I ask is because of things like the mario shoppa map.