Working on TPKC user-menu documentation.