New commits: commit a1cfb60803a68d7a4d04c539d73ef398e8cf67bb Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Wed Mar 3 09:28:40 2021 -0500 pluto: clarify selected_sec_label() by adding early-out to loops