IO (file), url, redirect, https, and encoding