To be fair, this is a community of mostly non-mathematicians, most of whom will probably have no use for this work. But yeah, certainly that's the real "big deal" here.