I created a new version of the F25 manual. Images have been cleaned up, text has been typeset. There might be typos. If you find any, please let me know.
F25 Manual: https://docs.google.com/document/d/1fFltTRYQ8KEP2vh_Exj4OaonAkj3HDqQ3_jXHF7g6u8/edit?usp=sharing