^{* 31} ちなみに筆者は、 WML が Debian 以外にどこで使われているか知りません