move lax colimits to footnote and mention same as pseudo here, close #739