2024-08-06: This script doesn't seem to be needed after the latest update using agents for pro search. I will probably delete this script after a couple of months and am sure it's no longer needed.