Add stub for hand LTL editing spec.