printing-related code refactoring, better CSS styling of debugger output, safer selection of interpreters, better support for special URLs, better script timeout code