Small refactorings: make video recording optional; delete some deprecated files