INSTALL: Mention Py3 port also under Python installation section