[ros-diffs] [mf] 14930: some cleanups in the lean explorer code