I'd propose to do the following: (1) Do away with `variable-binding-locus'. (2) Modify `describe-variable' and the affected functions in edebug.el accordingly. Any objections against the attached patch?