Any chance you would consider adding versioned images for the current and future stable releases of Coq Platform? Thanks for your consideration.