Hi Takuto, Takuto ASAKURA <tkt.asakura at gmail.com> writes: > Since latex-dev is new to TeX Live, Texdoc has not been optimized well > for it yet. I will work on that. Thanks for reporting. many thanks for your response and for looking into this. Do you still need an `issue' on Github tracker? I don't have an account there :-) Best, Arash