Oh it looks like I forgot to push. 4b6982362421dc3498c6de4643220a3881fd8c73 has the change but I only just deployed it now. It would’ve gotten there eventually but I’ve been out of town for the past week on a team retreat, so it was delayed in getting out.
