In Penknife, removed listRevFlatten(), which was unused.