I suggested doing this the old school way and not refactoring the DevBox extension at this time, so it LGTM.