Higher dimensional formal orbifolds and orbifold bundles in positive characteristic

In \cite{KP}, the last two authors introduced formal orbifold curves defined over an algebraically closed field of positive characteristics. They studied both 'etale and Nori fundamental group schemes associated to such objects. Our aim here is to study the higher dimensional analog of these objects objects and their fundamental groups.