[PS. The debugger says: "/usr/local/lib/erlang/lib/debugger-3.1.1/doc/html/part_frame.html no such file or directory" when I choose Debugger from the Help menu. —DS.]