a leader to (re)set expand tab
Use http instead of https for pulling (ugly fix to bypass an ugly proxy)
Update submodules