[flexi-streams-devel] New version 0.8.0 (Was: recovering from flexi-stream-encoding-error)