In the top right of each documentation page, I would like an option for users to download the current file that they are currently viewing.
Are they any extensions th
