I think 0x70 was chosen before we reorganized the upper nibbles; at that point, 0x7 was used for symbols, but now it's used for timestamps. I propose 0x90 for FlexSym SID 0 now, since 0x9 is used for the symbol type.
I also removed the parenthetical links because they didn't seem to have much value.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.
Description of changes:
I think 0x70 was chosen before we reorganized the upper nibbles; at that point, 0x7 was used for symbols, but now it's used for timestamps. I propose 0x90 for FlexSym SID 0 now, since 0x9 is used for the symbol type.
I also removed the parenthetical links because they didn't seem to have much value.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.