Update Emacs for proglang and Mini Manual

- Add installation instructions for proglang.
- Update HTML content for Mini Manual.

Signed-off-by: Tu, Do <tuhdo1710@gmail.com>