It was not possible at the time of writing those instructions (I guess), now it’s definitively possible to revert to stock OS 
General advice if you try other OS: just be careful with relocking bootloader (don’t relock it OR check before that get_unlock_ability = 1 )