Revert "Deleted old (obsolete) main file"

This reverts commit b660561ab634f17ef0213094d073f1a79b68b675.