Last modified August 10, 2020 at 2:25 PM PST: Updates based on feedback (fda5d0084)