After Alloy bootstrap deletion the remaining functions are no longer related to extensions. This change is a functional no-op.