Good news everyone! I have http://pedestal.io/index publishing again - now using a GitHub action. This was an obstacle preventing progress towards the next Pedestal release.