5 check-ins using file html/gui.html version 6e708c8ffa

2022-10-28
23:40
add images check-in: fec21b6643 user: mario tags: trunk
22:40
add some vague permissive: score for modules (error tolerancy/ignorance) check-in: d8df8b1ba2 user: mario tags: trunk
22:31
introduce ConfigList() for config: key access check-in: fec593dcbd user: mario tags: trunk
21:59
update docs check-in: 33c3bc16bb user: mario tags: trunk
08:42
add graphics to docs check-in: e8bd4d1278 user: mario tags: trunk