Tags and Properties for Check-in 63fdedee18

Context
2022-11-01
18:50
move name_to_fn and get_readme into MetaUtils check-in: 63fdedee18 user: mario tags: trunk
2018-05-18
13:51
initial empty check-in check-in: db9f884efc user: mario tags: trunk