Implemented `toggle-stream-encoding!' and made a coffee :)