Yeah this function is for decimating points without triangularization, which is how we get our head shape data. If we want to make the function public `decimate.py` might be the better location, but we could also keep it private for now. Are there other potential uses than KIT head shapes?