Why can't I import and use machine.SoftI2C in Micropython v.1.13 on ESP32?

Question

This relates to an ESP32 development module (from Amazon, similar to the DoIt module). I have Micropython v1.13 (Sep 2020) installed. According to the Micropython document