On Wed, 13 Apr 2022, Gerald Pfeifer wrote: > This is the first batch of fixes. Pushed.
Hmm, there is one issue that confused me a bit. What did you want to relay by the following? + <li>Pattern matching</li> + <ul> + <li>The <code>case</code> statement has been extended to cover Currently that is a <ul> within a <ul>, which does not work. Did you mean to skip the </li> and have that after the nested <ul>? Gerald
