Looks like @almaknuth hasn't received any replies yet!