Ask HN: Is there an accepted name for writing browser-based user scripts?