Document some builtin functions for the node.js backend