What is Kodi and is it legal? A beginner's guide to the home media server