Спасибо
Одна часть решена; всё же было бы неплохо сделать это функционалом.
Для тех, кому нужен запрос для извлечения тегов с группами тегов в формате, который также используется для загрузки тегов / групп тегов, приведённый ниже запрос выполнит эту задачу:
SELECT t.name as tag, tg.name as "tag group"
from tag_groups as tg
left join tag_group_memberships as tgm on tg.id = tgm.tag_group_id
left join tags as t on tgm.tag_id = t.id
where tg.name = 'boards-and-microcontrollers'
order by tg.name asc, t.name asc
Далее вы можете сохранить результат в CSV (или JSON) после выполнения запроса.