My guess is probably not, you're doing just fine. If your server configurations change for some reason in the future (sounds unlikely) it might be easier to st

My guess is probably not, you're doing just fine. If your server configurations change for some reason in the future (sounds unlikely) it might be easier to start from scratch with Docker than manually adjust the servers; but that all depends on your situation.