You’d have to talk to the people maintaining PandAI about the PandAI manual pages. We don’t maintain PandAI.
Good idea on the page explaining the Panda libraries.
is the old notation, before we had syntax highlighting in the manual. The pages simply haven't been updated yet.