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, view it on GitHub, or mute the thread.