What with all the other cool frogs we saw in this area, we paid little notice to these not particularly distinctive ones, and didn't even try to identify them to species level at the time. Several months later I put some more effort into it and concluded that they are Boophis majori, an at least somewhat rarely seen species.

Here is a list of all the reptiles and frogs I saw on this 2023 trip to Madagascar.