Some discussion of remaining infinite BB(5) machines yesterday in [1][2]

[1] https://www.sligocki.com//2023/02/02/skelet-34.html

[2] https://news.ycombinator.com/item?id=34689068 and