Document auxiliary commands for #82, #120