(- fix doc) Trying to fix borked GitHub floats ...