js_bookmarklet_fmt.py