That was surprisingly quicker than I thought it’d be https://x.com/jglypt/status/1919130435151385085