Thanks for the suggestion, @felmue, but I figured out the problem!
The default baud rate of 460800 is too fast for this device. If I specify --baud 115200 (in platformio.ini, that would be upload_speed = 115200) it works.
Maybe this will be useful to someone else in the future.