The original, un-anonymized, version of this code is subject to copyright and
is covered by a standard MIT license.
