Some belated spring-cleaning of `please.sh`#654

dscho wants to merge 9 commits intomaingit-for-windows/build-extra:mainfrom

drop-please.sh-upgradegit-for-windows/build-extra:drop-please.sh-upgradeCopy head branch name to clipboard