Page.media.images vs page.media

I'm working on a blog that allows the author to include a series of images in their post. Some of posts include animated gifs. I understand that gifs are excluded from page.media.images because the image filters do not work on them.

I can loop through page.media and it includes the gifs, but the images are not the same order as media_order. The image order is important. I supposed I could loop through the media_order array, and create the image tags myself, but I was hoping there is a more elegant way. My end goal is display all the .jpg .png and .gif images in the order specified by the author.

The media_order suggests ordering of page.media and apparently it's working on a level deeper namely page.media.images. This sounds like a possible improvement. I suggest you post an issue in the core Grav repository.