I'm generally confused about how the bash script used file locks.  The goal of this task is to clarify if these are really needed for the plugin manager tool.