bot/prettyprint: Update for new way of passing around sources