Yeah, this is the official docs, covering their official RTOSbsnd rnv. Probably still technically not legal to look at, but old enough that the relevant parties don't care anymore.