Add a note about Disco installation.

This should resolve issue #440.