Builtins.Getting_Tag_From_Non_Union(3kaya) on Linux

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

Tried to do a constructor case statement wrongly