recover HTML5/Unicode fix which got nuked by subsequent merges.
- cleaned gotoStepNumber() API to not pollute the object with temporary variable; also makes the execution more predictable when the intro sequence is empty or has not been properly initialized yet at the moment this API method may be called.

- bugfixes regarding the proper assignment of the skip/done/prev/next labels.
whitespace police raid