Contributors to 2022-04-11 pgrep, or what I do when Vagrant hangs