Improved texinfo conversion + wrote unit test