Output extension is no longer generated [ci skip]

/cc @senny Is this change documented somewhere?