Going through my notes I noticed that we agreed to depricate the extra arguments to Stdio.read_file() to make way for a charset aware version in Pike 8. This has not been done.
I suppose we don't really have to. The second argument will be a string or and object in the new charser version, in contrast to the current int.
Opinions?