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.