With the Mapillary API v4, all the old tools broke.
Here’s a quick Perl script to get GPX sequence[s]. For convenience, a single image ID can be specified from each sequence.
https://www.openstreetmap.org/user/richlv/diary/400630
For my own use, I’d love to filter by user, camera and date in a bbox, but Mapillary API got so seriously nerfed with v4…