docs/nvrm: Fix SEQ pseudocode notations, replace unk3eX by it's name