From the linked thread:
Divested-WRT != official OpenWrt
Additionally, I see nothing on the post linked about rc.local - can you elaborate?
I see a comment a few posts following the one linked with the commands, but there is no details nor explanation.
It may also be a good idea to Private Message the users that discussed the topic.