A lightweight cookie editor in a bookmarklet