Adam Scherlis comments on How to export Android Chrome tabs to an HTML file in Linux (as of February 2023)