Removing a building highlight

Remove a building highlight that was previously added to the map.

<!DOCTYPE HTML>
<html>
  <head>
    <script src="https://unpkg.com/wrld.js@1.x.x"></script>
    <link href="https://cdnjs.cloudflare.com/ajax/libs/leaflet/1.0.1/leaflet.css" rel="stylesheet" />
  </head>
  
  <body>
  <div style="position: relative">
    <div id="map" style="height: 400px"></div>
    <script>
        var map = Wrld.map("map", "your_api_key_here", {
            center: [37.796, -122.4027],
            zoom: 16
        });

        function onInitialStreamingComplete() {
            setInterval(loop, 4000);
        }

        function loop() {
            var buildingHighlight = Wrld.buildings.buildingHighlight(
                Wrld.buildings.buildingHighlightOptions()
                    .highlightBuildingAtLocation([37.795189, -122.402777])
                    .color([255, 255, 0, 128])
                )
                .addTo(map);

            setTimeout(function() {
                buildingHighlight.remove();
            }, 3000);
        }

        map.on("initialstreamingcomplete", onInitialStreamingComplete);
    </script>
  </div>
  </body>
</html>