(reveal-open-new-overlays): New extracted fun.