The `debugger` tool now prints the invocation number at unification ports instead of the clause number (which can still be accessed using the new `.` command)