もともとこれらの記事はGithub Pagesで公開していた。

GitHub依存を減らすため自前のサイトに移行したが、整理が面倒だったので一括して古いドキュメントに入れてある。

（可能なら）いずれ分類していく。