warmupDone?

merged/cleaned up Ahmed's, gave some hints to the examples as it's
getting long.