@hannes2peer I did not know Karl Marx is the great leader of China. Did you know that? Source: https://media.ccc.de/v/20-gnome_customized_desktop_for_the_government https://social.umeahackerspace.se/attachment/92375