* _layouts/post.html: change file encoding