Remove the user manual PDF, and link the online documentation instead