Update and rename facts.html to implementation.html