Sollte man den Artikel nicht auf ONNX verschieben?—Godung Gwahag (Diskussion) 07:09, 18. Jan. 2019 (CET)
- Kein Widerspruch gekommen und es ist ja wohl auch eindeutig, dass der Name großgeschrieben wird. Ich setze das dann mal um.—Godung Gwahag (Diskussion) 18:29, 19. Jan. 2019 (CET)