migrate https://github.com/pyllyukko/user.js/wiki/TLS---HTTPS----OCSP to user.js improve descriptions part of #220
migrate https://github.com/pyllyukko/user.js/wiki/TLS---HTTPS----OCSP to user.js
improve descriptions
part of #220

pyllyukko/user.js,Toromtomtom/user.js,nodiscc/user.js,Toromtomtom/user.js,nodiscc/user.js,pyllyukko/user.js