Hi Helge, On Wed, Dec 24, 2025 at 02:38:21PM +0000, Helge Kreutzmann wrote: > Without further ado, the following was found: > > Issue: state → shift state? Fixed; thanks! Cheers, Alex > > "The function B() tests whether I<*ps> corresponds to an initial " > "state." > > "B() returns nonzero if I<*ps> is an initial state, or if I is " > "NULL. Otherwise, it returns 0." > --