Thank you for reminding me! I just now wrote the TL;DR summary for the readers on Reddit who first want to read the summary of my comment.