Achtung: Leiterplatten sind Glasfaserplatten, bitte wenn dann nur mit Atemschutz schleifen. Lieber schneiden wenn möglich. Wenn mehr als das abgeschnitten werden soll, geht es in der Regel ganz gut, mit dem Cuttermesser ein paar mal kräftig entlang der Schnittlinie zu ritzen und dann zu brechen, ich weiß nicht wie gut das klappt wenn nur so wenig ab muss, evtl hilft dann ein (dir nicht allzu wichtiger) dicker Seitenschneider.
Zum Thema: Schleifen/abschneiden könnte klappen, wenn du ein paar übrig hast, kannst du es ja mal probieren.
Ansonsten kann das Gehäuse auch neu generiert werden mit größerem Loch, dafür müsstest du glaube ich die Variablen MainCase_gps_antenna_housing_hole_width
und MainCase_gps_antenna_housing_hole_height
anpassen. Eine (bisher sehr oberflächliche) Schnellanleitung zum generieren eigener Gehäusevarianten gibts hier: Gehäusevarianten | OpenBikeSensor
Hoffe, das hilft.
LG Paul
/cc @gluap Hattest du die nicht auch und eine Variante generiert?