2020-02-18 introducing redox OS, briefly