We will
pull the current branch and try if it works, as you suggested
for Bob.
I think that would be a good idea. Be aware that further
wide-ranging clean-up commits, especially "hw: re-organize file
structure", entered the master branch recently. If you have any
questions regarding the concept behind these changes, don't hesitate
to ask.