replace tomoh52nx by h52nx

payno
2021-02-23T11:34:38+01:00

we are already on nxtomomill so repeating tomo seems useless.

We should first create an alias and signal this is depreacted. but this would be a gain of time