[web2py] Re: difference between <script src= ...> and response.files.append(...)