idris-0.12.1: test/docs005/input

:doc Foobar
:doc NewFoo