Add notice when publishing

When publishing a manual or a document, it wasn't clear the user that anything has happened. This PR adds a notice when the page is loaded again.