I finally dealt with this by doing a F25 install with the separate /home partition, then immediately after the install, using the lvremove, lvextend and resize2fs commands to get rid of the /home partition and add the space to /, basically as described at https://serverfault.com/questions/524962/how-to-integrate-home-back-into-mai... .