Thread:Ursuul/@comment-37950665-20190401204758/@comment-37950665-20190401212543

Not very important, but it bugged me that the two values did not match. And it could sometimes be useful to have a "general" category.