I see SNIP-5 has been removed from Github. I wonder why? SNIP-6 is referencing (or trying to reference) 5.