move lax colimits to footnote and mention same as pseudo here, close #739
Merge pull request #741 from mikeshulman/lax

move lax colimits to footnote and mention same as pseudo here