Fix hungry-matching of "NODEx" @-code

The 5th character must be a digit.

Prevent future stupidity such as happened with recently added and then
fixed NODE_USER @-code.