FAQ

TODO: record some frequently asked question from GitHub Issue tab.


Last modified February 24, 2020: add comment (#106) (fcbe912)