Fix spl doc problems, rename top-level app