Flagged Out-of-Date Comment: code-bin

hwittenborn flagged code-bin out-of-date on 2023-11-15 for the following reason: