or add a unicode emoji, for instance: * 🔧 --- "wrench" emoji * 🛠 --- "hammer and wrench" emoji
------------------------------------------ The Carpentries: discuss Permalink: https://carpentries.topicbox.com/groups/discuss/T180fa0d50619dfc5-M1334b061b4833eab566bd319 Delivery options: https://carpentries.topicbox.com/groups/discuss/subscription
