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.