Looks like @almaknuth hasn't received any replies!