The vagrant code has not been touched since 2016 (2014 if you discount some generic changes).
Seems little reason to keep it in the main branch. I propose to create a vagrant branch with the current code, and drop it from the default branch. Any objections? Sebb
