Flagged Out-of-Date Comment: nerd-fonts-ricty

JimMoen flagged nerd-fonts-ricty out-of-date on 2023-12-07 (UTC) for the following reason:

nerd-fonts-inconsolata -> ttf-inconsolata-nerd