Add missing HTML documentation file for the `debugger` tool