Flagged Out-of-Date Comment: shell-headers

MarsSeed flagged shell-headers out-of-date on 2024-04-05 (UTC) for the following reason:

Prebuilt package in disguise, source repo unavailable (behind loginwall).