Hi Andrew,
I guess, we could say I’m stubborn
I think the only option that I have left is the one that I found and that you propose. I have done some further research and it seems to me that files with extensions such as .18o, or .17n are only provided by the CORS stations:
https://bad-elf.com/pages/post-processing-gnss-data-with-rtklib-introduction
The thing is I still can’t compress the files with the CRX2RNX tool so I can give a try to the french online service. Then, I wonder how is it possible that 1) why do they ask to upload files that are only provided by permanent stations and 2) how can I compress files with CRX2RNX. I have seen people in the forum telling they succeeded… Would there be anybody so kind in the forum to get some screenshots?
Thanks anyway,
Ruben