My suggestion was actually writing "http://localhost:8080/ag-push/" to show one possibly working example. It was already clear for developers who are familiar, but it was not clear for the beginners (anyway, I'm ok with removing 8080, as we already have the text explanation).