idris and markdown added back in