These are obtained by DeforaOS configure as usual, with configure-update(1).
These are from DeforaOS configure.