Mix it back in and let it ride. Some people scoop it. I would think most people do not. Just make sure to use a Whirlfloc tablet so all that hot/cold break settles out nicely.
Try it both ways and see whether it makes a difference to you for your finished beer. For the beers I make, it doesn't seem to matter. If it just gives you something to do during the boil to keep your mind on things, then go for it.