hide redacted button and rename redacted#157

Merged

FuhuXia merged 1 commit intomainfrom update-download-json

Jun 13, 2024

+3-9

Commits on Jun 6, 2024

remove redacted button; rename unredacted button; bump version
rshewitt
committed