Minor change: now when editing or deleting a comment you are directly redirected to the source page, instead of having to click on the "Back" link on the page saying that the operation was successful.