Adding user_manual.js for precompiling.
Version bump. v0.9.2 [ci skip]