User scripts for web browser extensions like Tampermonkey or Greasemonkey