I'm deciding to go with a NodeMCU implementation with the ESPHome firmware for now, given that it's easy to work with and I'm familiar with it. The downside is that the button will require a power cord, limiting placement and authenticity as the original is wireless. The schematic and ESPHome YAML configuration are included in project files.