Follow-up from my earlier post about ChatGTP this morning, it turns out I probably should’ve RTFM:

Thanks to @andreab@social.lol for the tip.