rmangini·13 anni fa·discussYes, I am a Google employee, but this script is not official. I created it to handle some Chrome documentation tasks, but thought it could be useful to others.