Third party part prefix

[Philippe Hurbain]

Is the prefix supposed to be "|" or "*".

This post says "*" but don't know if we changed it later:
https://forums.ldraw.org/thread-21841.html
I'm fine with either, just want to update the header spec.

Yes, it was changed (sometime in January 2019) when we realized that * was unfortunate because the third party were sorted before LEGO parts in a given category! That's why | was used. Unfortunately I find nothing about that on the forum.