anchor.diff:      );
     }
   
  -  ReadingPlaylist get playlist {
  +  ReadingPlaylist get readingPlaylist {
       if (_playlist == null) {
         return null;
       } else {
  
positive.code:       );
      }
    }
  
    /// Then mediaplayer playing state (mutable)
    final BehaviorSubject<bool> _isPlaying = BehaviorSubject<bool>.seeded(false);
  
negative.code:   }
  
    Future<void> _onFinished(bool isFinished) async {
      bool nextDone = await , _next(stopIfLast: false, requestByUser: false);
      if (nextDone) {
        _playlistFinished.value = false; //continue playing the playlist
      } else {
  