Revise locking script format and PushDrop advantages#1

sirdeggen wants to merge 1 commit intomainMatiasJF/tokenisation-workshop:mainfrom

sirdeggen-patch-1MatiasJF/tokenisation-workshop:sirdeggen-patch-1Copy head branch name to clipboard