The MOO.ca standard @dig room generic, #1606, has a verb :@exits1 that lists obvious exits from a room and the destination of each. However, the verb code assumes that exit destinations are always stored in the .dest property, while the exit code (see #7:move line 1) supports an optional :real_dest hook on exits to determine the destination dynamically. I request that :@exits1 be modified to also support the :real_dest hook.
I think modifying #1606:@exits1 line 14 will achieve the desired affect:
BEFORE> player:sub_tell(" %1 (#%1~#) leads to %2 (#%2~#) via {%3}.", x, $get_property(x, "dest"), $string_utils:from_list($get_property(x, "aliases"), ", "))
AFTER> player:sub_tell(" %1 (#%1~#) leads to %2 (#%2~#) via {%3}.", x, `x:real_dest() ! ANY => x.dest', $string_utils:from_list($get_property(x, "aliases"), ", "))