Karsten Dietrich

I confim it's a local fonts issue. To me it looks like on each and every page load the astroid plugin determines whether the font configuration remains unchanged. It unpacks...