platform: recover after interrupted extension loading

platform: recover after interrupted extension loading
Cleanup (formatting; typos)