edit std.html