Hi, we have currently several documents with
\origin unavailable instead of \origin /systemlyxdir/doc/ in master (because of bug 9815). I suggest to save all these files with correct \origin for the alpha, even if there are still problems with 9815. It is probably also a good idea to update all files to the latest format (so that we do not get format updates mixed with content updates). If wanted, I could do both changes. Georg
