Convert MutableList to ListBuffer

The conversion from a ListBuffer to a List is O(1), as long as it
doesn't get invalidated by mutating the ListBuffer after exporting the
List (looks like we don't do that anyway).

MutableList is always O(n).