Encoding: default to 'html' encoding for scriptlets