Simplify install instructions now that our overlay is in the official repositories.xml list, and add note about hacky #1422 workaround