4 ms·
Nice spot, thank you! I have corrected that. I also included your comment in an acknowledgments and errata section of the doc.
by fractionalhare 6y ago
Nice spot, thank you! I have corrected that. I also included your comment in an acknowledgments and errata section of the doc.