oops, @aa­ronpk. just saw that now, 8 month late (not re­al­ly fol­lo­wing the irc stuff re­gu­lar­ly, though i read along the last cou­ple of days). i guess what you saw was an emb­edly em­bed, though i don’t use them any­mo­re.