Two different tools for turning long landscape videos into several short vertical videos — one uses some amazing AI to help.