you'll hate me for this but there's one contributor I missed because I didn't realize the full author name given was just "Paul" (i thought this was an error in the script, and somehow both forgot about it and reverted the change instead of like, figuring it out if i thought there was an error in the script????). i'll make another PR with the contributors fix immediately. the first name "Paul" is not unique amongst contributors -- is it safe to assume that's how they want to be represented, or should I send them an email asking what name to use? just because looking at the list of contributors the only way someone would be able to know who "Paul" is referring to is to run the complex

git log

command we do in

contributors.sh

.