The regimelib documentation has moved to https://regimelib.org/.