Sorry, I didn't cross-compare the links, as mine was the GitHub issue.

Well, I'm not sure if this is too much split and we are going to have a lot of repositories without too much modules. We have never used that modules as we have a Docker infrastructure that doesn't need them, and I have never like the structure with the need of that extra module (server_environment_files), but if you still continue maintaining them, then decide the best strategy.