@ada pretty sure it's compressed, but there was a bug that meant I didn't find it. I may have fixed that!