release 0.7.1 to fix the portal rendering issue. Fixes #278, fixes #283
encourage users to search for existing issues before creating a new one