`py` snippet: insert UTF-8 encoding header