Thanks! I get fairly surprised by how handy JS bookmarklets can be, like when I was not experienced with Unix scripting. :-) Would you mind taking a look at thi

Thanks! I get fairly surprised by how handy JS bookmarklets can be, like when I was not experienced with Unix scripting. :-) Would you mind taking a look at this [question](https://stackoverflow.com/questions/61973488/js-bookmarklets-increase-decrease-sites-font-size https://stackoverflow.com/questions/61973488/js-bookmarklets...)?