Browsing Categorykernel

Anyone could have found these bugs, but everyone assumed someone would, and in the end, no one did. (Until now.)