Closed nejch closed 5 days ago
Thanks! Note that the changes also need to be made in the material
repository – thus you need to build the theme.
Argh, I keep forgetting this sorry :) will push in a sec!
Yeah, we definitely need to remove the copying of the Python code, but it was easier at that time 😅
Closes #7732
Did a bit of ABC sorting while at it in case there's more later :)