Thanks a lot. We had some crazy github merge issues within the last 30 minutes before submission, glad we made it!
