Redacting text seems to actually work. However, editing existing text results in both the original text and the edited version being shown in the PDF after download.
(The page downloads mupdf (WASM) for rendering the PDF. When "downloading" (= saving) the PDF, the page first checks whether the allowed three downloads have been reached via a POST request (no PDF data uploaded), then it downloads PyIodide and some Python wheels (pdfrw, defusedxml) before creating the PDF file.