<script src=javascript:"..."> should do nothing

Consider the following:

    <script src=javascript:"alert(1)"></script>

In Firefox, Opera, Safari and IE, the script of the resulting text/html  
document "alert(1)" is not executed. The spec should reflect this  
(probably in the "The javascript: protocol" section).

(Note that this is different to <script src=javascript:alert(1)></script>.)

-- 
Simon Pieters
Opera Software