Update! I found Mapping a single keypress to a chord, which is very similar to what I want, and fixed my keymap definition to not use the macro (which is a shame, because it seems like quite a useful primitive!) in https://github.com/keyboardio/Model01-Firmware/commit/c63e1774782afc2adf582e5b04c88f1f7dd4e267