web_publisher script: tidied output