Oleh: Susilo Surahman Setiap tanggal 22 Oktober, bangsa Indonesia memperingati Hari Santri Nasional. Peringatan ini bukan sekadar agenda tahunan, bukan pula hanya momentum untuk mengenakan sarung, peci, dan busana khas santri dalam berbagai kegiatan seremonial. Lebih dari itu, Hari Santri …
