Rebase master branch so that this PR can be updated with the latest changes. Conflicts has been solved and some specs updated to fit the new changes. dev_seeds has been also adapted to the new format.
window-size