Just a note: BTW, one reason not to use the online version is to have a 
consistent version of the manual for the installer plugin without having to 
keep a dozen versions online.
But I get the point, and don't think it should be a problem.

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:

Reply via email to