dokku-alt (https://github.com/dokku-alt/dokku-alt) was created to make Dokku the original project more functional. As of right now, dokku-alt's latest commit was in April, and the main project is getting frequent updates. If I was installing dokku on a server, which project should I use?