How to migrate tvheadend settings from 4.0 to 4.2?