Renamed some stubborn TODO markers to LIBTODO.