The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
--Hamster (talk) 17:46, 21 October 2016 (EDT)
I think ogr-decode should be updated to poly-decode. Are there other differences between the tools despite the name?