@VolkerKrause@floss.social This is really great. The post also explains the change in the UI. All fonts are very small now. It is OK for me, but I guess others might have trouble reading all properly.