Tags and Properties for Check-in f03780244f

Context
2022-10-31
18:56
add pacakge disovery, and additional comment styles (different languages) check-in: f03780244f user: mario tags: trunk
2018-05-18
13:51
initial empty check-in check-in: db9f884efc user: mario tags: trunk