doc: more documentation for new symbols.