Thread:Support/Re-uploading documentation after editing if with AJAX editor/reply

If you're the one updating the documentation, there's not too much added value in updating it, i.e. more effort than it's worth. If you can deliver a patch for it, we'll happily integrate it.