Or rather, they just take their Word menu and "save as PDF". Although they could also "save as HTML" and replace the same file, right? But then the Word formatting would get messy because it wasn't thought for a web page, so here we are.