CI and doc fixes.