Update and rename publ_alg.html to pubalg.html