Here is complete list -> https://toh.openwrt.org/?view=normal

78 devices in total when you filter for mikrotik -> brand column.

Oh damn. I had just gone up one level from your first link (to https://openwrt.org/toh/mikrotik/start) and saw a small list of 4. RB450 was on there (which I used to run), so I figured it was mostly accurate.

That table is a much longer list! Still no love for my CRS/CSS, but it does look like that's probably most of the RB devices that Mikrotik actually intends for use as routers (rather than L3 switches).

Interesting, didn't check this url before. https://openwrt.org/toh/start

Also has supported release version column, which is useful to have.