Also, under the normal rules, people aren't allowed to use any part of a stronghold in a claim just like you can't claim villages (cf. TOG Minecraft Server Code of Conduct
and Clarification on nether fortresses, abandoned mines, strongholds and villages
). Duck gets permission in this case because 1) we didn't realise that we had copied the stronghold, and 2) there should be the original stronghold at the original site. As long as there is easy access for the community to an unchanged stronghold and its End portal, I am happy. If anyone has issues with this, be sure to tell us.