Fixing incorrect variant of plugin

What I do:

In sources directory: Remove possibly existing clone of plugin to update

Still in sources: Clone the correct variant of plugin (complete clone)

Then, use source-state.sh to record the state of sources and commit:

 $ cd ..
 $ ./source-state.sh save
 $ git diff sources.state   # check that the new  (new fork of )plugin is properly recorded
 $ git add sources.state
 $ git commit -m "sources: Adding xxx"