A gentle approach to the construction of de Rham-Witt complexes, after Bhatt, Lurie, and Mathew