Comment by dang

That's a third-party project but I've emailed Dan to let him know.

(That's a different Dan. A different Dan G in fact! but not a dang as far as I know.)