RTD builds were failing due to lack of pngmath extensions.
RTD builds were failing due to lack of pngmath extensions.

kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev,kojiromike/Idris-dev