https://github.com/misc0110/hotcrp-bidding-helper
GitHub - misc0110/hotcrp-bidding-helper: A small Tampermonkey script to help with paper bidding in...
A small Tampermonkey script to help with paper bidding in HotCRP - misc0110/hotcrp-bidding-helper
hotcrp bidding helpera small