External

Public stuff that should be shared widely.