Ah, I see that we do this on Hilary as well. Would you mind documenting this in both repos?