exploring_redox.md: Update to reflect virtual terminal changes

Created by: genodeftest

It looks like virtual terminal usage has changed, so I updated this page. Feel free to correct me if I'm wrong.