External pages served up from /webroot/ext/$urlpath by ExternalController (#8).
Minor formatting change.
Pool VM allocations (#2).