Scaladoc: member filter should not be case-sensitive #14421
Description
Scaladoc version
Nightly (6.02.2022) https://dotty.epfl.ch/api/index.html
Expectation
Member filter should not be case-sensitive.
Example
{{ message }}
Nightly (6.02.2022) https://dotty.epfl.ch/api/index.html
Member filter should not be case-sensitive.