My guess has been they both originate from heroku; docker heroku to dokku, pico heroku to piku