@theopolis Github says it’s a known issue, and while they recognize it’s confusing, they don’t think it’s worth fixing.