CardDAV bug in OS 10.9 Server

Question

OS 10.9 server has a nasty bug in its CardDAV section.
Hardware used: MacMini Server Late 2012, MacBook Pro Mid 2010, iPhone 4S 2012.
Software used: OS 10.9 (MacMini and MacBook), iOS 7.0.4 (iPhone). MacMini has the Server App.
You can replicate it as follows.
0. We assume the server has basic configuration in place (IP, DNS name "server-something.local", and self-signed certificate) and the OSX firewall is down.
1. Server (the App) -> Services -> Contacts: activate the service
2. Server (the App) -> Services -> Web: activate the service then click at the bottom of the window to see the server's web site.
3. Web site -> log on the profile manager -> Groups -> All users -> Settings -> Contacts: It says "port 8843".
4. "" -> Users -> select yourself -> Settings -> Contacts: give yourself an account. It says "port 8443"
Note the port numbers are different.
5. iPhone: Install "Fing" from the App Store.
6. Fing -> scan your LAN.
7. select your server's IP
8. scroll down the page and select "Scan services"
9. Note (in Fing) that the server does not have any port 8843 open, that is, the CardDAV server is not running on that port.
From the client side,
10. iOS (iPhone) -> Settings -> Mail, Contacts and Calendars -> Add Account -> Add CardDAV Account -> enter 'server-somethin.local', unix user-name, and password (as specified at point 4 above).  It will add the account. Enter its item, select "Advanced Settings". It reads "port 8443".
11. open Contacts (iOS), close all accounts except the new server account, play with it, and see that it works as expected.
12. OSX (MacBook) -> System Preferences -> "Internet Accounts -> Add Other Account -> Add an OSX server account -> select your server from the list and fill in with the unix user-name and password. It will add the account, and in particular the "Contacts" account. If you click on "details", it is not possible to change port numbers.
13. open Contacts (OSX), close all accounts except the new server account, play with it, and see that IT DOES NOT WORK.
Summing up,
- If you change the port number to 8843 at step 4 above, it will not do any good, because 8843 is down.
- Changing the CardDAV server port to 8443 is not possible from the Server App.
- The CardDAV port is already 8443, because iOS can see it (steps 10--11 above).
- For Contacts under OSX to work, one would have to make sure it is talking to port 8843, but the configuration panel does not allow for it.
Next.
14. OSX (MacBook) -> System Preferences -> "Internet Accounts -> Add Other Account -> Add a CardDAV account -> fill in with the unix user-name, password, and "sever-something.local". It will NOT add a CardDAV account. Instead, it will add an OSX server account, as in step 12 above.
To avoid this post being erased by admin as "feedback only", we ask the following questions:
1. Why Apple did not find and fix this before releasing OS Server 10.9?
2. How do we fix this problem?

Answer 1

Following my original post:
3. Web site -> log on the profile manager -> Groups -> All users -> Settings -> Contacts: It says "port 8843".
4. "" -> Users -> select yourself -> Settings -> Contacts: give yourself an account. It says "port 8443"
Now (osx 10.9.1, server.app 3.0.1) the above step 4 says "port 8843", which finally resolves the conflict with CalDAV's own port. I deleted the user profile for CalDAV and kept the group profile. When using Contacts from the client (laptop), I can see the laptop connecting to the server on port TCP:8843.
The iPhone still wants to connect to CardDAV on port TCP:8443, however. In the settings, tapping on the port number allows changing its content, so I changed it to 8843 and it liked it.
Does it work?
With the three clients up, I created a new contact in each one; after minutes, they still did not synchronise.