Re: Automatic generation of documentation for HackageDB