Cara Mencari Kode Tertentu di Edit HTML (Template) Blogger

Saya masih sering mendapatkan pertanyaan basic mengenai bagaimana cara mencari kode menggunakan Blogger HTML Editor baru (yang dirilis sejak April 2013 lalu). Pada posting tersebut, saya membahas beberapa perubahan dan apa yang membedakannya dengan HTML editor lama, tapi memang tidak menjelaskannya secara terperinci dengan asumsi bahwa fitur-fitur baru itu bisa dieksplorasi dengan mudah. Namun