I cannot praise this extension enough. Truly useful functionality, essential in fact for anyone who needs to archive a webpage, and it works great. Web browsers should save pages like this by default. All the pieces that make this work represent a huge amount of time and effort, and we can enjoy it for free. What a gift, this is free/open source software at its best. Thank you so much, Gildas and all other contributors. You make the world a better place.