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).
note: That page has a link "Supported by current OpenWrt release" but it doesn't include the latest version! So it too could lead someone to conclude many fewer devices are supported.
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).