/* trivial file to silence 404 errors in browser */