#!/bin/zsh sed 's#"html",""#"html","« "#g'