Generate Extension problem

Try stopping the server exactly when the tutorial asks to do so - that’s
what solved the problem at least for me.