re: #84 Sergey Romanov
Gus, just noticed the mistake that will affect searches. It’s “DeKraai”, not “DeKraii”.
I can’t change that now.