User blog comment:Bubby3/BM2 doesn't terminate./@comment-35392788-20180829080223

It is to be noted that this sequence expends differently in BM2.3, and it doesn't seem to havean infinite loop, as far as I can see.