leastfixedpoint

Archived tweet #8062 from the @leastfixedpoint Twitter Archive
@wilbowma Right, but now there's an unnecessary distinction between "server" and "nonserver".