devdocs.io 最近，GitHub Trending Repositories のページで devdocs.io という便利なサービスを知りました． devdocs.io は複数のドキュメントを素早く横断的に検索できるサービスです．多分使ってみると一瞬で分かるので詳細は省きますが，各言語や DOM，R…