@dansup Honestly, I thought this thread about defederating Barcelona was political programmer humour relating to Catalonia's secession/independence (where Barcelona is the largest city) from Spain.