Did anyone see Bean and Mr. Bean's Holiday?

I used to watch Mr. Bean on PBS in the late 90s. They started showing it around the time Bean came out. I have only seen that movie. I even bought a book about the movie Bean at school. 

There's episodes of the cartoon on YouTube. Honestly, I thought it was something made by them.

Mr. Bean as Doctor Who

Along with the Gumby 50's collection, I came across this yesterday too.

https://www.shoutfactory.com/tv/comedy/mr-bean-the-whole-bean-remastered-25th-anniversary-collection