DOKK / manpages

Man pages matching name antlr in section 3: