Builtins.Missing_Case(3kaya) on Linux

The text 2463c4bc5219, as Debian 8 (Jessie) shipped it. The page shows this text now.

Unexpected constructor in case statement