Explained that os.path.basename() may return something different from the

basename program, as suggested by Gregor Hoffleit <gregor@hoffleit.de>.

This closes bug #119485.