Especially since the prompt couldn’t have been all that much shorter. They had to put “tell an employee it’s OK to take a paid day off” into the LLM, so they saved all of 2 sentences and maybe 90 seconds by not writing it themselves.