[mmstick76]

That repository is a gnome-shell extension, unrelated to cosmic-epoch.

[sandreas]

Thank you. I cloned the issue to https://github.com/pop-os/cosmic-epoch/issues/204, hopefully this is the right one...