Tolong jelaskan mengenai Etimologi dari Kali Krukut

"Krukut" adalah nama perkampungan yang merupakan kelurahan di Kecamatan Taman Sari, Jakarta Barat, yaitu terletak di atara dua sungai, yaitu Kali Ciliwung dan Kali Cideng (yang kemudian lebih dikenal sebagai "Kali Krukut"). Batas wilayah Kampung Krukut ini di sebelah timur Jalan Gajah Mada dan Kali Ciliwung, Kelurahan Petojo di sebelah selatan, Kali Krukut alias Kali Cideng di barat, dan Jalan Kerajinan dan Kelurahan Keagungan di sebelah utara. Berdasarkan cerita sejarah masa lalu, asal usul nama "Krukut" mempunyai beberapa versi, misalnya sindiran kepada orang yang hidupnya sangat hemat alias pelit, yang dijuluki “krokot”. Pada masa itu masyarakat Betawi menyebut orang-orang Arab yang banyak tinggal di kampung tesebut dengan istilah "Krukut", dengan mengubah dari kata "krokot". Panggilan Krukut untuk tempat itu menjadi popular hingga sekarang, sehingga sering kali ada julukan orang Arab Krukut bagi orang Arab yang tinggal atau berasal dari Krukut. Versi lain menyebutkan bahwa nama "Krukut" berasal dari kata bahasa Belanda "kerkhof", yang artinya "kuburan", di mana dalam lafal Betawi terucap sebagai "Krukut". Daerah tersebut pada masa itu memang merupakan tempat pemakaman atau kuburan bagi pribumi khususnya orang-orang Betawi.