Already included in html

From Nigel Tao
Can use DecodeConfig just to get the type

From Nigel Tao