add (non-expanded) bookmarklet file