synctex detritus