The default value for `eudc-inline-expansion-format' changed in 25.1 but the
documentation still mentions the old default.  Patch attached.