if they didn't, they do now. as deepseek published the howto