Add @deffn support to the Texinfo Back-End - View it on GitHub