feed.c: specify encoding in HTML