https://123dok.net/document/qmjknee4-fibrewise-equivariant-compactifications-under-étale-groupoid-actions.html